ar X iv : 0 80 2 . 15 86 v 1 [ cs . S E ] 1 2 Fe b 20 08 Program Promises
نویسنده
چکیده
The framework of promise theory offers an alternative way of understanding programming models, especially in distributed systems. We show that promise theory can express some familiar constructs and resolve some problems in program interface design, using fewer and simpler concepts than the Unified Modelling Language (UML).
منابع مشابه
ar X iv : 0 80 1 . 48 21 v 2 [ he p - ph ] 2 8 Fe b 20 08 X ( 1835 ) and η ( 1760 ) observed by BES Collaboration
متن کامل
ar X iv : 0 80 2 . 30 10 v 1 [ m at h . Q A ] 2 1 Fe b 20 08 THE OPERAD LIE IS FREE
We show that the operad Lie is free as a non-symmetric operad. Then we study the generating series counting the operadic generators, finding a recursive formula for its coefficients, and showing that the asymptotic density of the operadic generators is 1/e.
متن کاملar X iv : 0 80 2 . 25 80 v 1 [ m at h . G T ] 1 9 Fe b 20 08 3 - Dimensional Schlaefli Formula and Its Generalization
Several identities similar to the Schlaefli formula are established for tetrahedra in a space of constant curvature.
متن کاملar X iv : 0 80 2 . 42 23 v 1 [ m at h . Q A ] 2 8 Fe b 20 08 Local analytic classification of q - difference equations
3 Analytic classification of admissible q-difference modules 10 3.1 Generalities on q-difference modules . . . . . . . . . . . . . . . . . . . . . . . 11 3.2 Simple objects in the category of admissible q-difference modules . . . . . . . 11 3.3 Main results . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 3.4 Analytic vs formal classification . . . . . . . . . . . . ...
متن کاملar X iv : 0 80 2 . 38 39 v 1 [ m at h . G R ] 2 6 Fe b 20 08 Quadratic equations over free groups are NP - complete
We prove that the problems of deciding whether a quadratic equation over a free group has a solution is NP-complete
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008